The recent.xml file stores the buffer history (recent buffers, caret location in each
buffer, etc). It stores one entry for each buffer, but in fact, the same buffer can
be open in several edit panes, or several views, with different properties (e.g. different
caret location in each). When jEdit is exited, only one of those buffers is saved
in the buffer history, and the others are lost. When jEdit is later restarted, all
views/edit pane with that buffer will use the same properties.
The properties saved should be per instance of the buffer. One solution is to allow
several indexed entries for each buffer, and specifying the right index for each edit
pane in the perspective.xml file.
Submitted | shlomy - 2008-11-04 - 11:32:39z | Assigned | nobody |
---|---|---|---|
Priority | 5 | Category | core |
Status | Open | Group | None |
Resolution | None | Visibility | No |